Линейное бинарное отношение

Линейное бинарное отношение

Определение:

Бинарное отношение $\rho \in A^2$ называется **линейным**, если $a \neq b \implies (a \rho b \text{ или } b \rho a)$ для любых $a, b \in A$.